Nuprl Definition : set_lt
13,42
postcript
pdf
a
<
p
b
==
(
a
<
b
)
latex
clarification:
a
<
p
b
==
(
a
<
p
b
)
latex
Up
sets
1
Wellformedness Lemmas
set
lt
wf
Definitions
b
,
a
<
b
origin
(a <
b)
(a <p b) (a < b)
(a <p b) b b